<?php
/*
functions.php
Build $ 0.0.1 jul-16-2008 JD $
*/

function j23_die($error) {
	return die(lang_out($error));
}

function get_include_contents($filename) {
	if (is_file($filename)) {
		ob_start();
		include $filename;
		$contents = ob_get_contents();
		ob_end_clean();
		return $contents;
	}
	return false;
}


function timer_message() {
	global $j23_starttime;
	$endtime = time()+microtime();
	$totaltime = $endtime - $j23_starttime;
	$totaltime = round($totaltime, 3);
	if ( defined('J23_TIMER') && J23_TIMER ) {
		return printf (lang_out('PAGE_LOAD_TIME'), (($totaltime <= 0.000) ? 0.001 : $totaltime));
	}
	return false;
}

?>